The first measurable cardinal can be the first uncountable regular cardinal at any successor height
نویسندگان
چکیده
We use techniques due to Moti Gitik to construct models in which for an arbitrary ordinal ρ, אρ+1 is both the least measurable and least regular uncountable cardinal.
منابع مشابه
Sandwiching the Consistency Strength of Two Global Choiceless Cardinal Patterns
We provide upper and lower bounds in consistency strength for the theories “ZF + ¬ACω + All successor cardinals except successors of uncountable limit cardinals are regular + Every uncountable limit cardinal is singular + The successor of every uncountable limit cardinal is singular of cofinality ω” and “ZF + ¬ACω + All successor cardinals except successors of uncountable limit cardinals are re...
متن کاملWeak Square Sequences and Special Aronszajn Trees
A classical theorem of set theory is the equivalence of the weak square principle μ with the existence of a special Aronszajn tree on μ +. We introduce the notion of a weak square sequence on any regular uncountable cardinal, and prove that the equivalence between weak square sequences and special Aronszajn trees holds in general. Recall the weak square principle μ for an infinite cardinal μ, w...
متن کاملThe Calculus of Partition Sequences, Changing Cofinalities, and a Question of Woodin
We study in this paper polarized infinite exponent partition relations. We apply our results to constructing a model for the theory “ZF+DC+ω1 is the only regular, uncountable cardinal ≤ ωω1+1.” This gives a partial answer to a question of Woodin. In 1994, J. Steel proved what had long been suspected: that assuming AD, the regular cardinals of L(R) below Θ are all measurable, where Θ is the leas...
متن کاملNonreflecting Stationary Sets in Pκλ
Let κ be a regular uncountable cardinal and λ ≥ κ. The principle of stationary reflection for Pκλ has been successful in settling problems of infinite combinatorics in the case κ = ω1. For a greater κ the principle is known to fail at some λ. This note shows that it fails at every λ if κ is the successor of a regular uncountable cardinal or κ is countably closed.
متن کاملApplications of pcf for mild large cardinals to elementary embeddings
The following pcf results are proved: 1. Assume that κ > א0 is a weakly compact cardinal. Let μ > 2κ be a singular cardinal of cofinality κ. Then for every regular λ < pp+Γ(κ)(μ) there is an increasing sequence ⟨λi | i < κ⟩ of regular cardinals converging to μ such that λ = tcf( ∏ i<κ λi, <Jbd κ ). 2. Let μ be a strong limit cardinal and θ a cardinal above μ. Suppose that at least one of them h...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Math. Log. Q.
دوره 60 شماره
صفحات -
تاریخ انتشار 2014